Computer Arithmetic – A Programmer’s Perspective (invited talk)
نویسنده
چکیده
Advances in computer hardware often have little impact until they become accessible to programmers using high-level languages. For example, the IEEE floating-point arithmetic standard provides various rounding modes and exceptions, but it is difficult or impossible to take advantage of these from most high-level languages, so the full capabilities of IEEE-compatible hardware are seldom used. When they are used by writing in machine or assembly language, there is a high cost in program development and testing time, lack of portability, and difficulty of software maintenance. In this talk we discuss several areas in which computer hardware, especially arithmetic hardware, can or should significantly influence programming language design. These include: vector units, floating-point exception handling, floating-point rounding modes, high/extended precision registers/arithmetic, and use of unusual number systems. Relevant application areas include interval arithmetic, high-precision integer arithmetic for computer algebra and cryptography, and testing of hardware by comparison with software simulations.
منابع مشابه
Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003
The Prolog programmer’s needs have always been the focus for guiding the development of the SWI-Prolog system. This article accompanies an invited talk about how the SWI-Prolog environment helps the Prolog programmer solve common problems. It describes the central parts of the graphical development environment as well as the command line tools which we see as vital to the success of the system....
متن کاملThe Effects of Perception of Efficacy and Diagram Construction Skills on Students' Spontaneous Use of Diagrams When Solving Math Word Problems
Diagrams in the Mind: Visual or Spatial? p. 1 Understanding Diagrams, and More: The Computer's View p. 2 Tutorials Diagrams: A Perspective from Logic (Invited Talk) p. 3 Drawing Euler Diagrams for Information Visualization (Invited Talk) p. 4 Graduate Student Symposium The Graduate Student Symposium of Diagrams 2010 (Invited Talk) p. 5 Euler and Venn Diagrams The Efficacy of Euler and Venn Diag...
متن کاملProceedings of the 13th International Workshop on Logic Programming Environments
The Prolog programmer’s needs have always been the focus for guiding the development of the SWI-Prolog system. This article accompanies an invited talk about how the SWI-Prolog environment helps the Prolog programmer solve common problems. It describes the central parts of the graphical development environment as well as the command line tools which we see as vital to the success of the system....
متن کاملAn Overview of the SWI-Prolog Programming Environment
The Prolog programmer’s needs have always been the focus for guiding the development of the SWI-Prolog system. This article accompanies an invited talk about how the SWI-Prolog environment helps the Prolog programmer solve common problems. It describes the central parts of the graphical development environment as well as the command line tools which we see as vital to the success of the system....
متن کاملAlternating Tree Automata, Parity Games, and Modal -Calculus
2 From Modal -Calculus to Alternating Tree Automata 4 2.1 Modal -Calculus . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.1.1 Kripke Structures . . . . . . . . . . . . . . . . . . . . . . 5 2.1.2 Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.1.3 Substitution . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.1.4 Semantics . . . . . . . . . . . . . . . . . . . . . ....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999